Sign in
Facet browsing currently unavailable
Page 1 of 18 results
Sort by: relevance publication year
|
Initial questions of transcendental logic: problems concerning fundamental concepts BOOK CHAPTER published 1969 in Formal and Transcendental Logic |
|
Initial questions of transcendental logic: problems concerning fundamental concepts BOOK CHAPTER published 1969 in Formal and Transcendental Logic |
|
Leśniewski's terminological explanations as recursive concepts. JOURNAL ARTICLE published 1 October 1969 in Notre Dame Journal of Formal Logic |
|
Generalized equivalence and the foundations of quasigroups. JOURNAL ARTICLE published 1 January 1980 in Notre Dame Journal of Formal Logic |
|
Generalized equivalence and the phraseology of configuration theorems. JOURNAL ARTICLE published 1 January 1980 in Notre Dame Journal of Formal Logic |
|
Infinitely p-Divisible Points on Abelian Varieties Defined over Function Fields of Characteristic p>0 JOURNAL ARTICLE published 1 January 2013 in Notre Dame Journal of Formal Logic |
|
A theory of classes and individuals based on a $3$-valued significance logic. JOURNAL ARTICLE published 1 April 1980 in Notre Dame Journal of Formal Logic |
|
Context-Based Semantics for Information Integration BOOK CHAPTER published 2000 in Applied Logic Series |
|
A formalism to describe design patterns based on role concepts JOURNAL ARTICLE published October 2009 in Formal Aspects of Computing |
|
Evidential and Continuous Integration of Software Verification Tools BOOK CHAPTER published 2018 in Formal Methods |
|
A logic-based framework for attribute based access control PROCEEDINGS ARTICLE published 29 October 2004 in Proceedings of the 2004 ACM workshop on Formal methods in security engineering |
|
Synthesizing structural and behavioral control for reconfigurations in component-based systems JOURNAL ARTICLE published March 2016 in Formal Aspects of Computing |
|
Modelling Real-Time Systems with Continuous-Time Temporal Logic BOOK CHAPTER published 2002 in Formal Methods and Software Engineering |
|
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts BOOK CHAPTER published 2003 in Lecture Notes in Computer Science |
|
An Example for Concurrent Reflective Computations in Rewriting Logic BOOK CHAPTER published 1997 in IFIP Advances in Information and Communication Technology |
|
The Interdependence Between the Concepts of Valid Inference and Proof Revisited BOOK CHAPTER published 2024 in Synthese Library |
|
Machine Function Based Control Code Algebras BOOK CHAPTER published 2004 in Formal Methods for Components and Objects |
|
Towards Modal Logic Formalization of Role-Based Access Control with Object Classes BOOK CHAPTER published 2007 in Lecture Notes in Computer Science |